Description et exploitations des traces du logiciel d’algèbre Aplusix.

Un logiciel permettant d'apprendre des règles et leurs exceptions : Area

Le raisonnement à base de règles générales pouvant comporter différentes exceptions et le raisonnement non-monotone sont des domaines qui ont été bien étudiés et formalisés en Intelligence Artificielle. Ainsi, le Système P (Kraus et al., 1990) fournit un ensemble de postulats de rationalité permettant de définir les conclusions plausibles pouvant être obtenues à partir d’un ensemble de règles p...

Genie Logiciel et Logiciel pour l ' ingenierie

447 This discussion paper surveys the current state of software for scientific and engineering applications, and the foreseeable evolutions. It argues that a serious change in the attitude of scientists and engineers is necessary in order to master the growth of problem size. The discussion includes aspects of methodology, tools and languages ; we feel that much progress is needed in all three ...

Encyclopédie du tabac et des fumeurs

Evaluation Environnementale Des Exploitations Laitieres Par Modelisation Dynamique De Leur Fonctionnement Et Des Flux De Matiere

Transformation et vérification de cohérence entre modèles du Génie Logiciel et modèles de l'Interface Homme-Machine

Within the framework of collaborative design, it is necessary that specialists of any domain can automatically manage links between different models that are semantically close. Based on a concrete transformation example from a use case diagram (Software Engineering) to a task tree (HCI), languages proposed by model driven engineering (MDE) are evaluated. Our goal is to find an adequate languag...